BitcoinOS (BOS), the infrastructure that supports Bitcoin's Layer 2 network, says it has open-sourced the BitSNARK verification protocol for further experimentation in Bitcoin. According to the team, BitSNARK allows zk-SNARK proofs to run on Bitcoin without changing the core protocol. With advanced cryptography, any code can be compiled and run onto Bitcoin. (CoinDesk)
On July 25, the Bitcoin Rollup protocol BitcoinOS (BOS) successfully verified the first ZK proof on the Bitcoin mainnet, and the final verification was confirmed in block 853626.